Minimization of DFA Example